DoubleRightTee

DoubleRightTee[x,y] displays as x⊨y.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.